E2 loader

Hierarchical Property Loader

SRL – A Simple Retargetable Loader

A loader is a systems program used by an operating system (OS) to load a binary executable file onto memory to execute it. The internal format of a binary executable file is called the binary-file format (BFF); this format is dependent on the OS and the particular computer architecture it runs on. Traditionally, when developing machine-code manipulation tools such as binary translators and disa...

Bloader - a batch loader application for MIAMExpress

UNLABELLED BLoader is a client server application for annotating and loading large amounts of Microarray data into a local installation of the MIAMExpress database. A set of nested spreadsheets is used to collect the required MIAME annotation. Controlled vocabularies are downloaded from MIAMExpress and ArrayExpress databases to guarantee MIAME compliance. AVAILABILITY The application is avail...

Urzyczyn and Loader are Logically Related

In simply typed λ-calculus with one ground type the following theorem due to Loader holds. (i) Given the full model F over a finite set, the question whether some element f ∈ F is λ-definable is undecidable. In the λ-calculus with intersection types based on countably many atoms, the following is proved by Urzyczyn. (ii) It is undecidable whether a type is inhabited. Both statements are major r...

The RFC clamp loader: structure and function.

The eukaryotic RFC clamp loader couples the energy of ATP hydrolysis to open and close the circular PCNA sliding clamp onto primed sites for use by DNA polymerases and repair factors. Structural studies reveal clamp loaders to be heteropentamers. Each subunit contains a region of homology to AAA+ proteins that defines two domains. The AAA+ domains form a right-handed spiral upon binding ATP. Th...